termination proof
英 [ˌtɜːmɪˈneɪʃn pruːf]
美 [ˌtɜːrmɪˈneɪʃn pruːf]
网络 终止性证明; 终止证明
双语例句
- Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。 - The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions.
本文分析了循环终止性的特点，给出了实WHILE语句模型，简要地叙述了最小不动点理论，并结合到实循环函数上讨论了终止性的证明。 - The feasibility of the application of the improved Hamming nerual networks to the R& D project termination decision is discussed. A proof for the convergence of the iterative arithmetic is given.
探讨了改进的Hamming网络在R&D项目中止决策领域应用的可行性，同时对改进的Hamming神经网络算法迭代的收敛性给出了证明。